perm filename QUERY.PR[E81,JMC] blob sn#600622 filedate 1981-07-20 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Queries about prolog
C00003 ENDMK
CāŠ—;
Queries about prolog

1. What's this =.. in eval3?

2. What about not?

3. My coloring program is too LISP-like in that maps and colorings
are represented as lists.  Is there some way to have maps and colorings
as entities and to change them or make new ones by making assertions
rather than by list operations?